internalization and categorical algebra
algebra object (associative, Lie, …)
Given a monad , its unit is the natural transformation
which is part of the definition of monad. Hence for every object the component of the unit on is a morphism
in .
Dually, there is a counit of a comonad.
If is an adjunction that gives rise to the monad as , then the unit of the monad is equivalently the unit of the adjunction.
unit of a monad
Last revised on November 8, 2022 at 10:40:53. See the history of this page for a list of all contributions to it.